منابع مشابه
Formal ReSpecT
Logic-based languages have already proved to be effective to build individual agents and to enable inter-agent communication in multi-agent systems. Also, logic tuple centres have shown that logic-based languages can be effectively exploited to rule inter-agent communication so as to build social behaviours. In this paper, we formally define the notion of logic tuple centre as well as the opera...
متن کاملFormal ReSpecT in the A&A Perspective
Coordination languages and models have found a new course in the context of MAS (multiagent systems). By re-interpreting results in terms of agent-oriented abstractions, new conceptual spaces are found, which extend the reach of coordination techniques far beyond their original scope. This is for instance the case of coordination media, when recasted in terms of coordination artifacts in the MA...
متن کاملTest Result Analysis with Respect to Formal Specifications
There are two aspects to testing: (1) the selection of appropriate test inputs and (2) the analysis of the observed interactions of the implementation under test (IUT) in order to determine whether they conform to the IUT's specification. The paper considers the second aspect with particular attention to the testing of OSI communication protocol implementations. A system is described which anal...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملRespect: or, how respect for persons became respect for autonomy.
This article provides an intellectual archeology of how the term "respect" has functioned in the field of bioethics. I argue that over time the function of the term has shifted, with a significant turning point occurring in 1979. Prior to 1979, the term "respect" connoted primarily the notion of "respect for persons" which functioned as an umbrella which conferred protection to autonomous perso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00156-2